Floating-point arithmetic

Results: 1057



#Item
51Image segmentation / Display technology / Universal identifiers / ISO standards / Computer arithmetic / Liquid-crystal display / International Article Number / JPEG / Clock / Thresholding / Floating point / Pi

Geosci. Instrum. Method. Data Syst., 5, 305–314, 2016 www.geosci-instrum-method-data-syst.netdoi:gi © Author(sCC Attribution 3.0 License. Automatic segmentation and classificat

Add to Reading List

Source URL: www.geosci-instrum-method-data-syst.net

Language: English - Date: 2016-07-21 06:12:34
52Computer arithmetic / Abstract interpretation / Floating point / Interval arithmetic / Fluctuat / Rounding / Infinite loop / Affine arithmetic / Lookup table / Recursion / Division algorithm / Fixed-point arithmetic

Static Analysis of the Accuracy in Control Systems : Principles and Experiments Eric Goubault1 , Sylvie Putot1 , Philippe Baufreton2 , and Jean Gassino3 1 CEA/LISTGif-sur-Yvette, {eric.goubault,sylvie.putot}@cea.

Add to Reading List

Source URL: www.lix.polytechnique.fr

Language: English - Date: 2009-11-24 06:44:26
53Computer arithmetic / Floating point / Fluctuat / Abstract interpretation / Rounding / Interval arithmetic / Loss of significance / NaN / Common logarithm / Lookup table / Affine arithmetic / Signed zero

Towards an industrial use of FLUCTUAT on safety-critical avionics software? David Delmas1 , Eric Goubault2 , Sylvie Putot2 , Jean Souyris1 , Karim Tekkal2 , and Franck V´edrine2 1

Add to Reading List

Source URL: www.lix.polytechnique.fr

Language: English - Date: 2009-11-24 06:44:27
54Computer arithmetic / Floating point / Rounding / Algorithm

Compensated algorithms in floating point arithmetic: accuracy, validation, performances. Nicolas Louvet Directeur de th`ese:

Add to Reading List

Source URL: perso.ens-lyon.fr

Language: English - Date: 2014-11-25 03:18:02
55Computer arithmetic / Floating point

IMPROVED ERROR BOUNDS FOR INNER PRODUCTS IN FLOATING-POINT ARITHMETIC CLAUDE-PIERRE JEANNEROD∗ AND SIEGFRIED M. RUMP† Abstract. Given two floating-point vectors x, y of dimension n and assuming rounding to nearest, w

Add to Reading List

Source URL: www.ti3.tu-harburg.de

Language: English - Date: 2013-07-02 01:16:02
56Elementary arithmetic / Binary operations / Mathematical notation / Numeral systems / Computer arithmetic / Number / Subtraction / Numerical digit / Positional notation / Floating point / Multiplication / Pi

Microsoft Word - Grade 5 Module 1 Tips for Parents.docx

Add to Reading List

Source URL: greatminds.net

Language: English - Date: 2015-07-29 21:54:14
57Means / Geometric mean / Average / Benchmark / Weighted arithmetic mean / Arithmetic mean / Floating point / Arithmetic / Logarithm

COMPUTINGPRACTICES Edgar H. Sibley Panel Editor Using the arithmetic mean to summarize normalized benchmark results

Add to Reading List

Source URL: ece.uprm.edu

Language: English - Date: 2006-08-30 09:59:57
58Computer arithmetic / Arithmetic underflow / Floating point / TWiki / E / Agenda

WG14 N1840 C  Floating  Point  Study  Group  Teleconference   June 12, AM PDT / 12 PM EDT Phone: toll free) or

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2014-06-30 11:39:36
59Computer arithmetic / Numerical analysis / Mathematical series / Kahan summation algorithm / Summation / Pi / Floating point

SIAM J. SCI. COMPUT. Vol. 31, No. 5, pp. 3466–3502 c 2009 Society for Industrial and Applied Mathematics 

Add to Reading List

Source URL: www.ti3.tu-harburg.de

Language: English - Date: 2009-11-12 01:24:48
60Computer arithmetic / Floating point / IEEE floating point / Double-precision floating-point format / Division algorithm / Rounding / Q / Precision / Arithmetic underflow / Decimal / Hexadecimal / Unit in the last place

AT&T Bell Laboratories Numerical Analysis ManuscriptCorrectly Rounded Binary-Decimal and Decimal-Binary Conversions

Add to Reading List

Source URL: ampl.com

Language: English - Date: 2014-03-26 17:34:56
UPDATE